Test for #6327