doc: Use correct header length.