Remove duplication of name in header

Nothing major.