flysplell and TeX