minor editing refinements