Fix typo reported by Patrick Matthäi.