fix #7888