fix #7125