fix bug in test suite