Fix typo #4199

#4199