Fixed the highlighting on an example.