diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/ComputeType.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/ComputeType.rsc
index 999313cd..f6f8e567 100644
--- a/src/org/rascalmpl/core/library/lang/rascalcore/check/ComputeType.rsc
+++ b/src/org/rascalmpl/core/library/lang/rascalcore/check/ComputeType.rsc
@@ -343,7 +343,7 @@ void checkPatternKwArgs(list[Keyword] kwFormals, (KeywordArguments[Pattern]) `<K
            if(kwName == fn){
               ift = ft;
               if(!isEmpty(bindings)){
-                  try   ift = instantiateRascalTypeParameters(k, ft, bindings, s); // changed
+                  try   ift = instantiateRascalTypeParameters(kwa, ft, bindings, s); // changed
                   catch invalidInstantiation(str msg):
                         s.report(error(kwa, msg));
               }