minor refinement on spacing