synctex typo