Fixed a typo kindly spotted by ololo.