Partial fix for #13761.

good!