typos, better instructions, and move to precise64 box