minor refinement.