WyC: fixed test case which didn't have a main method.