fix #7355