Minor revisions to documentation.