diff --git a/ext/pools/theme.php b/ext/pools/theme.php
index 2d9c0886..32c5f0f0 100644
--- a/ext/pools/theme.php
+++ b/ext/pools/theme.php
@@ -194,7 +194,7 @@ class PoolsTheme extends Themelet {
global $user;
$editor = "\n".make_form( make_link('pool/import') ).'
-
+