--- chili_highlighter.module	2010-07-19 02:46:01.000000000 +0200
+++ chili_highlighter.module	2010-07-21 00:25:56.000000000 +0200
@@ -96,7 +96,7 @@ function chili_highlighter_plugin_path()
     $bool = (
       is_dir($dir) && file_exists("$dir/jquery.chili.js") &&
       is_file("$dir/jquery.chili.js")
-    )
+    );
     if ($bool) {
       return "$dir/jquery.chili.js";
     }