Correct some typos and formatting problems in setup instructions