Misc formatting. This was really a Jenkins test.