fix #3821