Minor edits to the commentary.