small changes for testing in ghci