fix #5513