add test for #4057