WyC: possible bug fix for the parser.