let bad_format s =
  "Unexpected xml: "^s