small fix to headers