fix #7172