Fix some formatting mistakes