More installation instruction tweaks