Oops, a made a couple of typos. They're fixed now