Some additional comments and revisions, per Robert.