fix Richard's silly typo