fix #5912