Minor revisions to documentation