fix bug in header