diff --git a/hw/rc4030.c b/hw/rc4030.c
index c2b2a3eb565f74249f6e8d040cb3b7aee5e985de..2a8233ab9d1d7048d2822b05a0ba051d7c7177e5 100644
--- a/hw/rc4030.c
+++ b/hw/rc4030.c
@@ -240,8 +240,9 @@ static uint32_t rc4030_readl(void *opaque, target_phys_addr_t addr)
         break;
     }
 
-    if ((addr & ~3) != 0x230)
+    if ((addr & ~3) != 0x230) {
         DPRINTF("read 0x%02x at " TARGET_FMT_plx "\n", val, addr);
+    }
 
     return val;
 }