fix #12527