diff --git a/docs/website/js/buildroot.js b/docs/website/js/buildroot.js
index 2fd3b7811b..122436e572 100644
--- a/docs/website/js/buildroot.js
+++ b/docs/website/js/buildroot.js
@@ -78,7 +78,7 @@ jQuery(document).ready(function($) {
url = url.split(/[\\/]/).pop()
$('.nav a[href="/' + url + '"]').parent().addClass('active');
- $('#slides').html('')
+ $('#slides').html('')
});
function showTooltip(elem, msg) {