actually fix bug introduced in 08811911bd9187b69cccd1ddf5b7c2772bdd3c2c