fix #3909