diff --git a/jbmc/src/java_bytecode/java_bytecode_parser.cpp b/jbmc/src/java_bytecode/java_bytecode_parser.cpp
index 7fdf5e6b5f5..e1cdfe600fe 100644
--- a/jbmc/src/java_bytecode/java_bytecode_parser.cpp
+++ b/jbmc/src/java_bytecode/java_bytecode_parser.cpp
@@ -308,11 +308,11 @@ class base_ref_infot : public structured_pool_entryt
     name_and_type_index = entry.ref2;
   }
 
-  u1 get_class_index() const
+  u2 get_class_index() const
   {
     return class_index;
   }
-  u1 get_name_and_type_index() const
+  u2 get_name_and_type_index() const
   {
     return name_and_type_index;
   }