Test for #7600.