Another slight change in the Xtension API.