fix #7114