Little fixes; leak through the console for now (bad!)

We expose a leaky console because of the way the tests are implemented,
but they could probably be implemented a better way.