Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 3233b91b36dc8cf1126178068a300f99697b4dec)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision d2cdd4fe72255d2c92c872695ce46654e3984a71)
@@ -1302,5 +1302,5 @@
 
 		try {
-			// Attempt 1 : turn (thread&)X into ($thread&)X.__thrd
+			// Attempt 1 : turn (thread&)X into (thread$&)X.__thrd
 			// Clone is purely for memory management
 			std::unique_ptr<Expression> tech1 { new UntypedMemberExpr(new NameExpr(castExpr->concrete_target.field), castExpr->arg->clone()) };
@@ -1313,5 +1313,5 @@
 		} catch(SemanticErrorException & ) {}
 
-		// Fallback : turn (thread&)X into ($thread&)get_thread(X)
+		// Fallback : turn (thread&)X into (thread$&)get_thread(X)
 		std::unique_ptr<Expression> fallback { UntypedExpr::createDeref( new UntypedExpr(new NameExpr(castExpr->concrete_target.getter), { castExpr->arg->clone() })) };
 		// don't prune here, since it's guaranteed all alternatives will have the same type