minor revisions and formatting