fix #3975