Fix typo in the linux instructions