Fix typo that slipped in the last commit