fix #3962