test case for #4872