formatting change to encode.dat