fix #5726