fix #5245