Major revisions to documentation.