fix #3647