Fix some formatting mistakes.