small refinements