Re #7855 Fixing refl