Fix typos (related to issue 6740)