small fix on header