Added test for #723.