fix of a missing file