[PATCH 2/6] webservices: Call WsReadEndElement just once in WsReadEnvelopeEnd.