Fix instructions in setup script