Minor edits and formatting repairs