Fixed a bug in the testsuite.