Correct minor formatting mistakes