fix #12311