fix #7074