Two typo fixes in the documentation