[#4] Fix typos