Fix typo in error message (#3848)