Fix a silly miswriting