fix #7927