Touch ups to latex format