in Monaden1/2 formatting of ghci-sessions changed