small improvement to header