fix a bug in testsuite