small fix on the header