bug fix at VisitLetNode