refine a couple of points; minor formatting