diff --git a/docs/user/header.html b/docs/user/header.html
index ce5c5ad4b2..3ed88af314 100644
--- a/docs/user/header.html
+++ b/docs/user/header.html
@@ -23,7 +23,7 @@
 				API Documentation
 			</span>
 			<span class="search">
-				<input type="text" placeholder="Search" onkeydown="search(this,event);">
+				<input type="text" placeholder="Search" onkeydown="search(this,event);"/>
 			</span>
 		</div>
 	</div>