Removed a worthless header

I can't even remember why this header was put in here. Probably for
something genius I forgot about.