fix #3807