Partial fix for #13761.

ditto