fix #3749