Minor additions and revisions