readResolve() of XML header.