A few minor edits. Adding some comments.