(#8252)