Fix minor typos in the documentation