Fix minor typo in doc-comment