Just a minor change to the MiniTester to allow it to (mostly) pass functional tests.