Fix the ghci wrapper