fix #3964