Fix small error in setup instructions