fix a typo that slipped in