fix #3873