Minor revisions for documentation