Add test case for #7