used fmtlatex to make changes easier to handle