One more header fix