Done.
Rename tex files.