Some revisions and additions

that are long overdue.