Again beautifying the file format.