Oops, a few typos