fix #7955