More tweaks to setup instructions in README