clarify some file format details