fix #7171