fix #7179