Fix a checkdoc warning
Fix a checkdoc warning

chrisdone/intero,commercialhaskell/intero,chrisdone/ghci-ng,chrisdone/intero,chrisdone/intero,commercialhaskell/intero,commercialhaskell/intero,chrisdone/ghci-ng