Minor formatting changes, moved to