ghci: update