tidied up the latex using latex-tidy.