Fix typos of OS name