fix bug in test_dummy_case