Fix a bug in my kill-ie code.