Minor changes, mostly formatting.
Formatting.