Typo fixes for Linux page of website.