updates to HaXml (1.13.1 and 1.16)