fixup some formatting