Fix up some formatting