WyIL: bug fix for #345