another couple small typo fixes