Add test case for #3