Add test for #8139