revised formatting, small edits