fix to latex-watch