Fixing a bug in a test case.