Index: src/SymTab/Mangler.cc
===================================================================
--- src/SymTab/Mangler.cc	(revision fd062a669c511d754aa9aa07d1b77ba798e858b2)
+++ src/SymTab/Mangler.cc	(revision e6e344569fc9081a8886ab65d5c710cbda3bfc79)
@@ -99,12 +99,4 @@
 			Mangler::Mangler( bool mangleOverridable, bool typeMode, bool mangleGenericParams )
 				: nextVarNum( 0 ), isTopLevel( true ), mangleOverridable( mangleOverridable ), typeMode( typeMode ), mangleGenericParams( mangleGenericParams ) {}
-
-			Mangler::Mangler( const Mangler &rhs ) : mangleName() {
-				varNums = rhs.varNums;
-				nextVarNum = rhs.nextVarNum;
-				isTopLevel = rhs.isTopLevel;
-				mangleOverridable = rhs.mangleOverridable;
-				typeMode = rhs.typeMode;
-			}
 
 			void Mangler::mangleDecl( DeclarationWithType * declaration ) {
Index: src/libcfa/concurrency/monitor.c
===================================================================
--- src/libcfa/concurrency/monitor.c	(revision fd062a669c511d754aa9aa07d1b77ba798e858b2)
+++ src/libcfa/concurrency/monitor.c	(revision e6e344569fc9081a8886ab65d5c710cbda3bfc79)
@@ -151,5 +151,5 @@
 			// We already have the monitor... but where about to destroy it so the nesting will fail
 			// Abort!
-			abort( "Attempt to destroy monitor %p by thread \"%.256s\" (%p) in nested mutex." );
+			abort( "Attempt to destroy monitor %p by thread \"%.256s\" (%p) in nested mutex.", this, thrd->self_cor.name, thrd );
 		}
 
@@ -427,10 +427,10 @@
 		thread_desc * this_thrd = this_thread;
 		if ( this.monitor_count != this_thrd->monitors.size ) {
-			abort( "Signal on condition %p made with different number of monitor(s), expected %i got %i", &this, this.monitor_count, this_thrd->monitors.size );
+			abort( "Signal on condition %p made with different number of monitor(s), expected %li got %li", &this, this.monitor_count, this_thrd->monitors.size );
 		}
 
 		for(int i = 0; i < this.monitor_count; i++) {
 			if ( this.monitors[i] != this_thrd->monitors[i] ) {
-				abort( "Signal on condition %p made with different monitor, expected %p got %i", &this, this.monitors[i], this_thrd->monitors[i] );
+				abort( "Signal on condition %p made with different monitor, expected %p got %p", &this, this.monitors[i], this_thrd->monitors[i] );
 			}
 		}