fix #5019