WyC: minor bug fix for the all invalid test suite.