diff --git a/www/mkdocs.yml b/www/mkdocs.yml
index 06dca8ebaa..4a746d85dd 100644
--- a/www/mkdocs.yml
+++ b/www/mkdocs.yml
@@ -28,7 +28,7 @@ nav:
   - Benchmarks:
     - LLVM Single Source: Benchmarks/single-source-results.md
     - SV-Comp: Benchmarks/sv-comp-results.md
-    - Linux Kernel: Benchmarks/linux_kernel_times.md
+    - Linux Kernel 6.11: Benchmarks/linux_kernel_times.md
   - About:
     - 'License': 'statement.md'