Make some of the setup instructions more explicit