Fix tiny typo in document