diff --git a/com.oracle.truffle.r.nodes/src/com/oracle/truffle/r/nodes/builtin/casts/PipelineToCastNode.java b/com.oracle.truffle.r.nodes/src/com/oracle/truffle/r/nodes/builtin/casts/PipelineToCastNode.java
index ff3dc4fb90f48448eb0a24b556c1602257640d6b..3b1104be7927f27ffd1b50d7ef3755e212ea6241 100644
--- a/com.oracle.truffle.r.nodes/src/com/oracle/truffle/r/nodes/builtin/casts/PipelineToCastNode.java
+++ b/com.oracle.truffle.r.nodes/src/com/oracle/truffle/r/nodes/builtin/casts/PipelineToCastNode.java
@@ -87,6 +87,7 @@ import com.oracle.truffle.r.runtime.RError;
 import com.oracle.truffle.r.runtime.RInternalError;
 import com.oracle.truffle.r.runtime.RRuntime;
 import com.oracle.truffle.r.runtime.RType;
+import com.oracle.truffle.r.runtime.Utils;
 import com.oracle.truffle.r.runtime.data.RComplex;
 import com.oracle.truffle.r.runtime.data.model.RAbstractComplexVector;
 import com.oracle.truffle.r.runtime.data.model.RAbstractDoubleVector;
@@ -427,7 +428,7 @@ public final class PipelineToCastNode {
                 case Any:
                     return CastToVectorNodeGen.create(step.preserveNonVector);
                 default:
-                    throw RInternalError.shouldNotReachHere(String.format("Unsupported type '%s' in AsVectorStep.", type));
+                    throw RInternalError.shouldNotReachHere(Utils.stringFormat("Unsupported type '%s' in AsVectorStep.", type));
             }
         }
 
diff --git a/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/Utils.java b/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/Utils.java
index 01108debdbdabb7b9d633951d8bce93fc27953b5..3e693cfc72fe03074163ea8e5beb33411a420228 100644
--- a/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/Utils.java
+++ b/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/Utils.java
@@ -902,4 +902,9 @@ public final class Utils {
         return obj.toString();
     }
 
+    @TruffleBoundary
+    public static String stringFormat(String format, Object... objects) {
+        return String.format(format, objects);
+    }
+
 }