diff --git a/website/pages/docs/history/index.md b/website/pages/docs/history/index.md
index c342982..9c577c9 100644
--- a/website/pages/docs/history/index.md
+++ b/website/pages/docs/history/index.md
@@ -137,4 +137,13 @@ to add files that never had any issues.
 
 Some omissions can still manage to skip through code review after the
 verification but at least we have the proper git history that enables
-us to more easily reconstruct it.
\ No newline at end of file
+us to more easily reconstruct it.
+
+Files with an incomplete copyright header
+=========================================
+
+The following files have incomplete copyright headers:
+
+* website/pages/global.css (details in the commit
+  612a3b51426eeddfbd8ada0de275eebf7e0ffe7f ("website: pages:
+  global.css: Add copyright header.")
\ No newline at end of file