Changes: formatArcTxtFile must only read till size of counter