Fix testsuite bug