Fix Linux installation walkthrough as suggested by Helen