diff --git a/src/java_bytecode/character_refine_preprocess.cpp b/src/java_bytecode/character_refine_preprocess.cpp
index 79c134670f9..f4e896eea11 100644
--- a/src/java_bytecode/character_refine_preprocess.cpp
+++ b/src/java_bytecode/character_refine_preprocess.cpp
@@ -1059,7 +1059,7 @@ codet character_refine_preprocesst::convert_is_java_identifier_start_char(
     conversion_inputt &target)
 {
   return convert_char_function(
-    &character_refine_preprocesst::expr_of_is_unicode_identifier_part, target);
+    &character_refine_preprocesst::expr_of_is_unicode_identifier_start, target);
 }
 
 /*******************************************************************\