Unit test for #7253