WyIL: another bug fix for #355