Small cleanup of xHTML5.ml
Small cleanup of xHTML5.ml

Ignore-this: 55206dc300e61ffc3c4d8c3251d8643a

darcs-hash:20100712111340-99ab4-8fce6b91c7ffb9a922a3c8fd5e22af13ababde59

mfp/ocsigenserver,mfp/ocsigenserver