fix #3776