fix return value of dexml()