Repaired python filetype header