Add a test for #7373