Cleanup so we can run from ghci