RE: resetting in ghci