Fix typos found by Duha