Add a test for #8101