fix #4221