fix ghci include comment