diff --git a/derham.tex b/derham.tex
index 07a90b04a..db95de8c8 100644
--- a/derham.tex
+++ b/derham.tex
@@ -622,7 +622,7 @@ \section{K\"unneth formula}
 \noindent
 If $S = \Spec(A)$ is affine, then combining the result of
 Lemma \ref{lemma-de-rham-complex-product} with the cup product map of
-Derived Categories, Equation (\ref{perfect-equation-de-rham-kunneth})
+Derived Categories of Schemes, Equation (\ref{perfect-equation-de-rham-kunneth})
 we obtain a cup product
 $$
 R\Gamma(X, \Omega^\bullet_{X/S})
diff --git a/tags/tags b/tags/tags
index 2664b84d8..02146e48f 100644
--- a/tags/tags
+++ b/tags/tags
@@ -19492,3 +19492,58 @@
 0FLD,derham-example-Garel
 0FLE,derham-section-first-chern-class
 0FLF,resolve-remark-compare-Garel
+0FLG,homology-remark-shift-double-complex
+0FLH,cohomology-lemma-cech-complex-complex-computes
+0FLI,cohomology-remark-shift-complex-cech-complex
+0FLJ,cohomology-section-cohomology-filtered-object
+0FLK,cohomology-example-spectral-sequence-bis
+0FLL,cohomology-lemma-relative-spectral-sequence-filtered-object
+0FLM,morphisms-lemma-pushforward-flat-affine
+0FLN,perfect-section-kunneth
+0FLP,perfect-equation-kunneth
+0FLQ,perfect-lemma-kunneth
+0FLR,perfect-equation-de-rham-kunneth
+0FLS,perfect-remark-silly
+0FLT,perfect-lemma-kunneth-special
+0FLU,perfect-equation-kunneth-on-cech
+0FLV,derham-lemma-etale
+0FLW,derham-lemma-de-rham-affine
+0FLX,derham-lemma-quasi-coherence-relative
+0FLY,derham-lemma-coherence-relative
+0FLZ,derham-lemma-finite-de-Rham
+0FM0,derham-lemma-proper-smooth-de-Rham
+0FM1,derham-section-cup-product
+0FM2,derham-equation-wedge
+0FM3,derham-lemma-cup-product-graded-commutative
+0FM4,derham-section-hodge-cohomology
+0FM5,derham-lemma-cup-product-hodge-graded-commutative
+0FM6,derham-section-hdoge-to-de-rham
+0FM7,derham-section-hodge-filtration
+0FM8,derham-definition-hodge-filtration
+0FM9,derham-section-kunneth
+0FMA,derham-lemma-de-rham-complex-product
+0FMB,derham-lemma-kunneth-de-rham
+0FMC,derham-lemma-kunneth-de-rham-relative
+0FMD,derham-lemma-pullback-c1
+0FME,derham-remark-truncations
+0FMF,derham-remark-log-forms
+0FMG,derham-section-projective-space
+0FMH,derham-lemma-euler-sequence
+0FMI,derham-lemma-hodge-cohomology-projective-space
+0FMJ,derham-lemma-de-rham-cohomology-projective-space
+0FMK,derham-section-relative-spectral-sequence
+0FML,derham-lemma-cohomology-de-rham-base-change
+0FMM,derham-lemma-spectral-sequence-smooth
+0FMN,derham-remark-gauss-manin
+0FMP,derham-lemma-relative-global-generation-on-fibres
+0FMQ,derham-lemma-K-flat
+0FMR,derham-proposition-global-generation-on-fibres
+0FMS,derham-section-projective-space-bundle-formula
+0FMT,derham-proposition-projective-space-bundle-formula
+0FMU,derham-section-divisor
+0FMV,derham-definition-local-product
+0FMW,derham-lemma-log-complex
+0FMX,derham-lemma-log-complex-consequence
+0FMY,derham-lemma-check-log-smooth
+0FMZ,derham-remark-check-log-completion-1
+0FN0,derham-remark-check-log-completion-2