diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala
index 84a74702d6c994ea77e1a64e1cd6e8e04eecde0d..7ab9e4e76e6f7919955d90710fec2a2337ab592c 100644
--- a/src/main/scala/leon/codegen/CodeGeneration.scala
+++ b/src/main/scala/leon/codegen/CodeGeneration.scala
@@ -342,7 +342,7 @@ object CodeGeneration {
     }
 
     locally {
-      val pem = cf.addMethod("[java/lang/Object;", "productElements")
+      val pem = cf.addMethod("[Ljava/lang/Object;", "productElements")
       pem.setFlags((
         METHOD_ACC_PUBLIC |
         METHOD_ACC_FINAL