Changes some notation, fixes wording in a corollary, adds discussion comment.