Fix tiny typo in documentation