diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php
index 7a097893b39..f1d6487d5de 100644
--- a/htdocs/main.inc.php
+++ b/htdocs/main.inc.php
@@ -1493,14 +1493,16 @@ function top_menu($head, $title='', $target='', $disablejs=0, $disablehead=0, $a
 		$result=$hookmanager->executeHooks('printTopRightMenu',$parameters);    // Note that $action and $object may have been modified by some hooks
 		if (is_numeric($result))
 		{
-			if ($result== 0)
+			if ($result == 0)
 				$toprightmenu.=$hookmanager->resPrint;		// add
 			else
 				$toprightmenu=$hookmanager->resPrint;						// replace
 		}
-		else 
+		else
+		{
 			$toprightmenu.=$result;	// For backward compatibility
-
+		}
+		
 		// Link to module builder
 		if (! empty($conf->modulebuilder->enabled))
 		{