Fixed a few points in the setup instructions.