add some refinements.