Fix lexing bug