add regression test for #4563