some minor revisions