Using yaidom 1.3.2, and adapted documentation