fix #3959