diff --git a/op/op.ExtensionMgr.php b/op/op.ExtensionMgr.php
index 706764640..a92e8af57 100644
--- a/op/op.ExtensionMgr.php
+++ b/op/op.ExtensionMgr.php
@@ -43,8 +43,8 @@ else $action=NULL;
 if (isset($_POST["currenttab"])) $currenttab=$_POST["currenttab"];
 else $currenttab=NULL;
 
-// add new attribute definition ---------------------------------------------
-if ($action == "download") {
+// Download extension -------------------------------------------------------
+if ($action == "download") { /* {{{ */
 	if (!isset($_POST["extname"])) {
 		UI::exitError(getMLText("admin_tools"),getMLText("unknown_id"));
 	}
@@ -128,7 +128,8 @@ elseif ($action == "getlist") { /* {{{ */
 	}
 	add_log_line();
 	header("Location:../out/out.ExtensionMgr.php?currenttab=".$currenttab);
-}	elseif ($action == "toggle") { /* {{{ */
+} /* }}} */
+elseif ($action == "toggle") { /* {{{ */
 	if (!isset($_POST["extname"])) {
 		echo json_encode(array('success'=>false, 'msg'=>'Could not toggle extension'));
 	}