fix #5200