fix a handful of lexing errors