Fix typo

Thanks to Thomas Hoppe for reporting it