Fix typo (reported by Tonnes).