WyC: updated sample output for test case.