Attempted to apply the operator overridden by the Java method

public static tlc2.value.impl.Value tlc2.overrides.SVG.SVGElemToString(tlc2.value.impl.Value) throws java.lang.Exception,
but it produced the following error:
Was unable to convert element to a tuple or (function) record:

[Bug]

Author: lemmy

modules/tlc2/overrides/SVG.java

@@ -42,6 +42,7 @@
 import org.jungrapht.visualization.layout.model.Rectangle;
 
 import tlc2.tool.EvalControl;
+import tlc2.value.impl.FcnLambdaValue;
 import tlc2.value.impl.FcnRcdValue;
 import tlc2.value.impl.IntValue;
 import tlc2.value.impl.RecordValue;
@@ -112,6 +113,9 @@ public static Value SVGElemToString(Value elem) throws Exception {
 		} else if (childrenVal instanceof FcnRcdValue) {
 			FcnRcdValue fcv = (FcnRcdValue) childrenVal.toFcnRcd();
 			children = fcv.values;
+		} else if (childrenVal instanceof FcnLambdaValue) {
+			FcnRcdValue fcv = (FcnRcdValue) childrenVal.toFcnRcd();
+			children = fcv.values;
 		} else {
 			throw new Exception("Was unable to convert element to a tuple or (function) record: " + childrenVal.toString());
 		}