minor revisions of docsf and dogae