fixing bug in header