regression test for #724