more edits

tex/pdf updated