Edit fixes suggested by Helen
Fix Linux installation walkthrough as suggested by Helen