WyIL: bug fix for #338