fix part of the setup instructions