Corrections, clarifications and other edits.