Fix OpamDocXml.exn_out