fix #3683