Fix bug in submission file format