minor typo in documentation