Fix a small mistype