minor edit
minor cosmetic adjustments