typo fix after 1a6a23e