Fix teh typos (#3988)