renamed some files, reflected change in format.txt