fix #4161