fix #5963