Test code for #7828