Fix a minor bug in the test suite