WyC: very minor tweak to the parser.