diff --git a/base-pistachio/src/core/platform_pd.cc b/base-pistachio/src/core/platform_pd.cc
index 93b932836d..3258d2865b 100644
--- a/base-pistachio/src/core/platform_pd.cc
+++ b/base-pistachio/src/core/platform_pd.cc
@@ -30,7 +30,7 @@ using namespace Genode;
 
 static const bool verbose = false;
 
-#define PT_DBG(args...) if (verbose) PDBG(args); else {}
+#define PT_DBG(args...) if (verbose) { PDBG(args); } else { }
 
 
 /**************************
diff --git a/base-pistachio/src/core/platform_thread.cc b/base-pistachio/src/core/platform_thread.cc
index 46005155c4..01261bdfa0 100644
--- a/base-pistachio/src/core/platform_thread.cc
+++ b/base-pistachio/src/core/platform_thread.cc
@@ -36,7 +36,7 @@ using namespace Pistachio;
 static const bool verbose = false;
 static const bool verbose2 = true;
 
-#define PT_DBG(args...) if (verbose) PDBG(args); else {}
+#define PT_DBG(args...) if (verbose) { PDBG(args); } else { }
 
 
 void Platform_thread::affinity(unsigned int cpu_no)