fix a lexing bug introduced earlier, which prevented accurate reading of verbatim symbols