WyC: added test case for #380