typo fix from 78d5b9f5