Corrected highlighting of case class declarations