ElementTree.write() question

[Stephen Waterbury]

[If there is a separate list for elementtree, please someone
clue me ... I didn't see one.]

Fredrik or other xml / elementtree gurus:

I see from the source that ElementTree.write() writes

<?xml version="1.0"? encoding=[whatever]>

at the beginning of the xml output if an encoding
other than utf-8 or us-ascii is selected.  Shouldn't
it also write that if utf-8 or us-ascii is being
used?  Or at least the

<?xml version="1.0"?>

?

Thanks,
Steve