close #4252