Index: libcfa/src/concurrency/kernel/cluster.cfa
===================================================================
--- libcfa/src/concurrency/kernel/cluster.cfa	(revision 0da94752579e6e8d62d9aa2e565147c5366d2791)
+++ libcfa/src/concurrency/kernel/cluster.cfa	(revision d4264e8a120ee554ca06bdced07b5b59cee1a852)
@@ -341,5 +341,5 @@
 	// Make sure that everything is consistent
 	/* paranoid */ check_readyQ( cltr );
-	/* paranoid */ verify( (target == 0) == (cltr->sched.caches == 0p) );
+//	/* paranoid */ verify( (target == 0) == (cltr->sched.caches == 0p) );
 
 	__cfadbg_print_safe(ready_queue, "Kernel : Growing ready queue done\n");
@@ -416,4 +416,5 @@
 		fix_times(readyQ.tscs, ncount);
 	}
+
 	cltr->sched.caches = alloc( target, cltr->sched.caches`realloc );
 
@@ -428,5 +429,5 @@
 
 	// Make sure that everything is consistent
-	/* paranoid */ verify( (target == 0) == (cltr->sched.caches == 0p) );
+//	/* paranoid */ verify( (target == 0) == (cltr->sched.caches == 0p) );
 	/* paranoid */ check_readyQ( cltr );
 
Index: libcfa/src/concurrency/kernel/startup.cfa
===================================================================
--- libcfa/src/concurrency/kernel/startup.cfa	(revision 0da94752579e6e8d62d9aa2e565147c5366d2791)
+++ libcfa/src/concurrency/kernel/startup.cfa	(revision d4264e8a120ee554ca06bdced07b5b59cee1a852)
@@ -672,6 +672,6 @@
 	uint_fast32_t last_size = ready_mutate_lock();
 
-		// Adjust the ready queue size
-		ready_queue_shrink( &this );
+	// Adjust the ready queue size
+	ready_queue_shrink( &this );
 
 	// Unlock the RWlock
@@ -682,6 +682,6 @@
 	/* paranoid */ verify( this.sched.readyQ.tscs == 0p );
  	/* paranoid */ verify( this.sched.readyQ.count == 0 );
-	/* paranoid */ verify( this.sched.io.tscs == 0p );
-	/* paranoid */ verify( this.sched.caches == 0p );
+//	/* paranoid */ verify( this.sched.io.tscs == 0p );
+//	/* paranoid */ verify( this.sched.caches == 0p );
 
 	enable_interrupts( false ); // Don't poll, could be in main cluster