Fixed bug in ec3_xpath for paths ending in '*'.