Fix syntax highlighting in a previous post