test case for issue #7