diff --git a/reference/Microbenchmarks/war/Microbenchmarks.html b/reference/Microbenchmarks/war/Microbenchmarks.html
index 07ccef6..dddd1e2 100644
--- a/reference/Microbenchmarks/war/Microbenchmarks.html
+++ b/reference/Microbenchmarks/war/Microbenchmarks.html
@@ -1,4 +1,4 @@
-<!DOCTYPE>
+<!DOCTYPE HTML>
 
 <html>
   <head>