small fix to the header