fixed ghci file