fix #5123