Minor changes to setup instructions