Opps, fix a typo in previous commit