fix #4487