Small fix on tex file download