minor typo in the docs