Fix typos observed by Oliver Lee.