Documentation: fix typos