Fix bug introduced yesterday.