fix #3687