whups -- committed some interim lexing code in previous commit that shouldn't have been included