fix #5840