add a test case for issue #7