Fix bug in DFXML bindings