Minor revisions, done for the weekend.