diff --git a/libraries/plugin_interface.lib.php b/libraries/plugin_interface.lib.php
index ffa5cb432..48dc97577 100644
--- a/libraries/plugin_interface.lib.php
+++ b/libraries/plugin_interface.lib.php
@@ -333,7 +333,7 @@ function PMA_pluginGetOptions($section, &$list)
             }
         }
         if ($count == 0) {
-            $ret .= __('<p>This format has no options</p>');
+            $ret .= '<p>' . __('This format has no options') . '</p>';
         }
         $ret .= '</div>';
     }