diff --git a/mod/hotpot/mod.html b/mod/hotpot/mod.html
index b4507e56d92..26b461b1b2f 100644
--- a/mod/hotpot/mod.html
+++ b/mod/hotpot/mod.html
@@ -33,7 +33,7 @@ $text_source_options = array(
print '';
}
print '';
- print '';
+ print '';
print '';
?>