fix #6427