Fixed typo spotted by Harald