fix a bug in header