minor revisions and additions