fix #3640