Another Xtension bug fix.