Changing a bit the source file format.