Issue #5: restore a test case