* Same NULL checking bug fix than before for PushEndNode.