fix a bug in test suite