Revert last commit: Not working with texy file.