Fix typo reported by epienbroek.