Fix a tiny mistake