Correction to code highlighting.