Fix small typo in documentation