diff --git a/lib/util.php b/lib/util.php
index 8c71d3cb4e..65d66abc59 100755
--- a/lib/util.php
+++ b/lib/util.php
@@ -678,8 +678,12 @@ class OC_Util {
                 curl_setopt($curl, CURLOPT_CONNECTTIMEOUT, 10);
                 curl_setopt($curl, CURLOPT_URL, $url);
 		curl_setopt($curl, CURLOPT_USERAGENT, "ownCloud Server Crawler");
-                if(OC_Config::getValue('curlproxy','')=='') curl_setopt($curl, CURLOPT_PROXY, OC_Config::getValue('curlproxy'));
-                if(OC_Config::getValue('curlproxyuserpwd','')=='') curl_setopt($curl, CURLOPT_PROXYUSERPWD, OC_Config::getValue('curlproxyuserpwd'));
+                if(OC_Config::getValue('curlproxy','')=='') {
+			curl_setopt($curl, CURLOPT_PROXY, OC_Config::getValue('curlproxy'));
+		}
+                if(OC_Config::getValue('curlproxyuserpwd','')=='') {
+			curl_setopt($curl, CURLOPT_PROXYUSERPWD, OC_Config::getValue('curlproxyuserpwd'));
+		}
                 $data = curl_exec($curl);
                 curl_close($curl);