a couple of small typo fixes