Typo fix. Spotted by Mikhail Glushenkov.