Index: libcfa/src/concurrency/io.cfa
===================================================================
--- libcfa/src/concurrency/io.cfa	(revision 7f958c478c8af6627b0281aa9ebe529134982c32)
+++ libcfa/src/concurrency/io.cfa	(revision bd1d279148ab332fd146bbfacbdc897c472c1985)
@@ -244,5 +244,5 @@
 
 					remote = true;
-					__STATS__( false, io.calls.helped++; )
+					__STATS__( true, io.calls.helped++; )
 				}
 				proc->io.target = MAX;
Index: libcfa/src/concurrency/ready_subqueue.hfa
===================================================================
--- libcfa/src/concurrency/ready_subqueue.hfa	(revision 7f958c478c8af6627b0281aa9ebe529134982c32)
+++ libcfa/src/concurrency/ready_subqueue.hfa	(revision bd1d279148ab332fd146bbfacbdc897c472c1985)
@@ -83,4 +83,5 @@
 	/* paranoid */ verify( node->link.ts   != 0  );
 	/* paranoid */ verify( this.anchor.ts  != 0  );
+	/* paranoid */ verify( (this.anchor.ts  == MAX) == is_empty );
 	return [node, this.anchor.ts];
 }
@@ -93,5 +94,5 @@
 // Return the timestamp
 static inline unsigned long long ts(__intrusive_lane_t & this) {
-	// Cannot verify here since it may not be locked
+	// Cannot verify 'emptiness' here since it may not be locked
 	/* paranoid */ verify(this.anchor.ts != 0);
 	return this.anchor.ts;