Fix some formatting