Actually fix rendering of the example code block!