gdiff: fix typo and document diff header removal