Make a few more fixes to setup instructions.