[PATCH] fix typo in documentation