WyIL: improved comment in code related to #345