Fixing a couple of typos in Michael's code