A couple of typos fixes