Fix minor typo in doc-comment (illiminated double-written word)