fix #7925