Typo fix (#3637)