slight style refinement