Small progress on file formats