WyC: minor tweak to broken test case.