Syntax highlight bug: '\r'|'\n'

[OliverBalfour]

This (slimmed down) function:

def consume (c : Char) {
  state =
    (state,c) match {
      case (HeaderLine(ln),'\r'|'\n') => { processHeaderLine(ln) ; NextLine(""+c) }
    }
}

renders as this:

Adding spaces like '\r' | '\n' fixes the issue.