A few edits and improvements.