Add a test for #7563