minor refinement