A couple of typos