minor revisions to code