WyC: bug fix for #372