Correct some formatting