Couple of typos.

Some (almost) trivial fixes.