diff --git a/install/dist/lib/fedora.lib.php b/install/dist/lib/fedora.lib.php
index 7ee22dc99b94d7f4370b00240dd7482fc1d16dd3..f4f48c341f81d5ff1e03c5271526048fac8f57dc 100644
--- a/install/dist/lib/fedora.lib.php
+++ b/install/dist/lib/fedora.lib.php
@@ -742,7 +742,7 @@ class installer_dist extends installer_base {
 		$content = str_replace('{ispconfig_log_priority}', $conf['ispconfig_log_priority'], $content);
 		$content = str_replace('{language}', $conf['language'], $content);
 		$content = str_replace('{timezone}', $conf['timezone'], $content);
-		$content = str_replace('{theme}', $conf['theme'], $content)
+		$content = str_replace('{theme}', $conf['theme'], $content);
 		
 		wf("$install_dir/interface/lib/$configfile", $content);
 		
@@ -766,7 +766,7 @@ class installer_dist extends installer_base {
 		$content = str_replace('{ispconfig_log_priority}', $conf['ispconfig_log_priority'], $content);
 		$content = str_replace('{language}', $conf['language'], $content);
 		$content = str_replace('{timezone}', $conf['timezone'], $content);
-		$content = str_replace('{theme}', $conf['theme'], $content)
+		$content = str_replace('{theme}', $conf['theme'], $content);
 
 		wf("$install_dir/server/lib/$configfile", $content);
 		
diff --git a/install/dist/lib/gentoo.lib.php b/install/dist/lib/gentoo.lib.php
index dab2c5fc98c0653f3a8800250f3f3f6deb912c30..3634b844ca7c27db4a8ca12f99c301b9a7ff0d84 100644
--- a/install/dist/lib/gentoo.lib.php
+++ b/install/dist/lib/gentoo.lib.php
@@ -740,7 +740,7 @@ class installer extends installer_base
 		$content = str_replace('{ispconfig_log_priority}', $conf['ispconfig_log_priority'], $content);
 		$content = str_replace('{language}', $conf['language'], $content);
 		$content = str_replace('{timezone}', $conf['timezone'], $content);
-		$content = str_replace('{theme}', $conf['theme'], $content)
+		$content = str_replace('{theme}', $conf['theme'], $content);
 		
 		$this->write_config_file("$install_dir/interface/lib/$configfile", $content);
 		
diff --git a/install/dist/lib/opensuse.lib.php b/install/dist/lib/opensuse.lib.php
index d117b251af84a935abffa8bb2b7f0c6a0d25c2d2..19089aea25706d1d360c345adf3e116e89198296 100644
--- a/install/dist/lib/opensuse.lib.php
+++ b/install/dist/lib/opensuse.lib.php
@@ -782,7 +782,7 @@ class installer_dist extends installer_base {
 		$content = str_replace('{ispconfig_log_priority}', $conf['ispconfig_log_priority'], $content);
 		$content = str_replace('{language}', $conf['language'], $content);
 		$content = str_replace('{timezone}', $conf['timezone'], $content);
-		$content = str_replace('{theme}', $conf['theme'], $content)
+		$content = str_replace('{theme}', $conf['theme'], $content);
 		
 		wf("$install_dir/interface/lib/$configfile", $content);
 		
@@ -806,7 +806,7 @@ class installer_dist extends installer_base {
 		$content = str_replace('{ispconfig_log_priority}', $conf['ispconfig_log_priority'], $content);
 		$content = str_replace('{language}', $conf['language'], $content);
 		$content = str_replace('{timezone}', $conf['timezone'], $content);
-		$content = str_replace('{theme}', $conf['theme'], $content)
+		$content = str_replace('{theme}', $conf['theme'], $content);
 		
 		wf("$install_dir/server/lib/$configfile", $content);