typos patched in the documentation