*) Fix txt encoding.