a few refinements