minor revisions to main file