small bugs in header