final touches. manual edits to .tex file