refinements from p.g.io