fix #5872