fix #5254