fix #6726