Fix a typo (thanks to Uwe)