Typo fix

Thanks to Dominik Honnef for spotting it.