Correcting a typo I made in the last bug workaround