fix a small typo in documentation