Fix header length in docs.