a couple of typo fixes