fix #4089