Fix bad syntax for code highlighting