fix #6763