fixing a problem with the test suite