diff --git a/stdlib/src/main/java/VDMUtil.java b/stdlib/src/main/java/VDMUtil.java
index eef76c90a..ce981af2a 100644
--- a/stdlib/src/main/java/VDMUtil.java
+++ b/stdlib/src/main/java/VDMUtil.java
@@ -68,7 +68,7 @@ public static Value val2seq_of_char(Value arg)
 	}
 
 	@VDMFunction
-	public static Value seq_of_char2val_(Value arg)
+	public static Value seq_of_char2val(Value arg)
 	{
 		ValueList result = new ValueList();