Fixing linux typo