Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 3b9c674d6b564a0b4f7d960bcd9069290dca19fa)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision dac5500446efde6cc36f8ce0afb6e51224e7d2ab)
@@ -1292,5 +1292,5 @@
 
 		try {
-			// Attempt 1 : turn (thread&)X into (thread_desc&)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()) };
@@ -1303,5 +1303,5 @@
 		} catch(SemanticErrorException & ) {}
 
-		// Fallback : turn (thread&)X into (thread_desc&)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