fix #13697

[skip sauce]