fix #7030