diff --git a/modules/core/www/frontpage_config.php b/modules/core/www/frontpage_config.php
index e12a6704a729c294caeb312f0872158e10b0090d..a4a9f80e405c2c9f73d2d9f31180d4473ffc2d60 100644
--- a/modules/core/www/frontpage_config.php
+++ b/modules/core/www/frontpage_config.php
@@ -74,8 +74,8 @@ if ($config->getBoolean('admin.checkforupdates', true) && $current !== 'master')
 		curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
 		curl_setopt($ch, CURLOPT_USERAGENT, 'SimpleSAMLphp');
 		curl_setopt($ch, CURLOPT_TIMEOUT, 2);
-                curl_setopt($ch, CURLOPT_PROXY, $config->getString('proxy', null));
-                curl_setopt($ch, CURLOPT_PROXYUSERPWD, $config->getstring('proxy.auth', null));
+		curl_setopt($ch, CURLOPT_PROXY, $config->getString('proxy', null));
+		curl_setopt($ch, CURLOPT_PROXYUSERPWD, $config->getstring('proxy.auth', null));
 		$response = curl_exec($ch);
 
 		if (curl_getinfo($ch, CURLINFO_HTTP_CODE) === 200) {