Fix regression
One ore example ported to PPX extension