Formatting changes, to display nicely on GitHub