fix #4307