Fix new checkdoc warnings
Fix new checkdoc warnings

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