fix #7932