Fix typo reported by @migueldvb