typo in Linux instructions