Fix a miswriting.