ghci script fix