Repaired file extension