Some comments and minor edits