fix #7642