diff --git a/core_typechecking.cpp b/core_typechecking.cpp
index 0361a6a..05614e4 100644
--- a/core_typechecking.cpp
+++ b/core_typechecking.cpp
@@ -1710,7 +1710,7 @@ resolve_expr(Ast_Expr *ast, Resolve_Flag flags, Ast_Type *compound_and_const_str
                     node->resolved_decl = instance;
                     lambda = instance->lambda;
 
-                    // We know need to fix the matches list CAUSE ITS FUCKED
+                    // We now need to fix the matches list CAUSE ITS FUCKED
                     // Thanks polymorphism
                     For_Named(matches, match_it) {
                         For_Named(lambda->args, lambda_it) {
@@ -1738,8 +1738,8 @@ resolve_expr(Ast_Expr *ast, Resolve_Flag flags, Ast_Type *compound_and_const_str
                 }
                 node->exprs = items.tight_copy(pctx->perm);
 
-                node->resolved_type = lambda->resolved_type;
-                return operand_rvalue(node->resolved_type->func.ret);
+                node->resolved_type = lambda->resolved_type->func.ret;
+                return operand_rvalue(node->resolved_type);
                 //
                 // CALL End
                 //