Correct pre formatting of the example.