Typo fix from 0d34167