minor refinement but necessary