fix #7227