fix #7160