test case for issue #9