Index: libcfa/src/bits/containers.hfa
===================================================================
--- libcfa/src/bits/containers.hfa	(revision 930b504f76f90ec4143311dcab5f540cd4d27d87)
+++ libcfa/src/bits/containers.hfa	(revision dac5500446efde6cc36f8ce0afb6e51224e7d2ab)
@@ -169,4 +169,5 @@
 				get_next( *head ) = 0p;
 				verify(*this.tail == 1p);
+				verify( get_next(*head) == 0p );
 				return head;
 			}
Index: libcfa/src/concurrency/monitor.cfa
===================================================================
--- libcfa/src/concurrency/monitor.cfa	(revision 930b504f76f90ec4143311dcab5f540cd4d27d87)
+++ libcfa/src/concurrency/monitor.cfa	(revision dac5500446efde6cc36f8ce0afb6e51224e7d2ab)
@@ -534,5 +534,4 @@
 	//Find the thread to run
 	$thread * signallee = pop_head( this.blocked )->waiting_thread;
-	/* paranoid */ verify( signallee->next == 0p );
 	__set_owner( monitors, count, signallee );