diff --git a/powerpc.c b/powerpc.c
index 0c0fa90..7bc083c 100644
--- a/powerpc.c
+++ b/powerpc.c
@@ -81,20 +81,20 @@ void powerpc_reset()
 void powerpc_ipc(volatile ipc_request *req)
 {
 	switch (req->req) {
-		case IPC_PPC_BOOT:
-			if (req->args[0]) {
-				// Enqueued from ARM side, do not invalidate mem nor ipc_post
-				powerpc_boot_mem((u8 *) req->args[1], req->args[2]);
-			} else {
-				dc_invalidaterange((void *) req->args[1], req->args[2]);
-				int res = powerpc_boot_mem((u8 *) req->args[1], req->args[2]);
-				if (res)
-					ipc_post(req->code, req->tag, 1, res);
-			}
+	case IPC_PPC_BOOT:
+		if (req->args[0]) {
+			// Enqueued from ARM side, do not invalidate mem nor ipc_post
+			powerpc_boot_mem((u8 *) req->args[1], req->args[2]);
+		} else {
+			dc_invalidaterange((void *) req->args[1], req->args[2]);
+			int res = powerpc_boot_mem((u8 *) req->args[1], req->args[2]);
+			if (res)
+				ipc_post(req->code, req->tag, 1, res);
+		}
 
-			break;
-		default:
-			gecko_printf("IPC: unknown SLOW PPC request %04X\n", req->req);
+		break;
+	default:
+		gecko_printf("IPC: unknown SLOW PPC request %04X\n", req->req);
 	}
 }