added ghci