add test for #4130