Documentation: fix typo