doc: Fix minor typo in doc comment.