added ghci hooks