Minor formatting changes, because they were annoying me.