fix #3785