Correct typos for linux system