Update ghci output in docs