fix #4407