A couple of typo fixes