Fix a harmless typo