fix #6653