fix typo in the documentation