other typos fixed in the documentation