Correct formatting of some code blocks