WyCS: bug fix for #352