Fixup some formatting