Fixed typo found by Harald