Minor fix for kill files.
Merge pull request #4042 from HassenRiahi/MinorFixKilResubmit

Minor fix for kill files.