diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 4eb880cee176ce56f74dbf770fb2a540faf16ea2..1994f5417cfc84f93fca136d8fb6e00fa0f11425 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -45,7 +45,7 @@ object Main {
     val name = "main"
     val description = "Selection of Leon functionality. Default: verify"
 
-    val optEval        = LeonStringOptionDef("eval", "Evaluate ground functions through code generation or evaluation (default: evaluation)", "default", "[code|default]")
+    val optEval        = LeonStringOptionDef("eval", "Evaluate ground functions through code generation or evaluation (default: evaluation)", "default", "[codegen|default]")
     val optTermination = LeonFlagOptionDef("termination", "Check program termination. Can be used along --verify",     false)
     val optRepair      = LeonFlagOptionDef("repair",      "Repair selected functions",                                 false)
     val optSynthesis   = LeonFlagOptionDef("synthesis",   "Partial synthesis of choose() constructs",                  false)
diff --git a/src/main/scala/leon/frontends/scalac/ClassgenPhase.scala b/src/main/scala/leon/frontends/scalac/ClassgenPhase.scala
index b2650740483613b02d3cd208b913febdb15bca5f..3ac856763e13222f606e5e645d2f06a31e7fa60c 100644
--- a/src/main/scala/leon/frontends/scalac/ClassgenPhase.scala
+++ b/src/main/scala/leon/frontends/scalac/ClassgenPhase.scala
@@ -31,7 +31,7 @@ object ClassgenPhase extends LeonPhase[List[String], List[String]] {
         _.getLocation.getPath
       }.orElse( for {
         // We are in Eclipse. Look in Eclipse plugins to find scala lib
-        eclipseHome <- Option(System.getenv("ECLIPSE_HOME")) 
+        eclipseHome <- Option(System.getenv("ECLIPSE_HOME"))
         pluginsHome = eclipseHome + "/plugins"
         plugins <- scala.util.Try(new File(pluginsHome).listFiles().map{ _.getAbsolutePath }).toOption
         path <- plugins.find{ _ contains "scala-library"}
@@ -40,7 +40,7 @@ object ClassgenPhase extends LeonPhase[List[String], List[String]] {
         "make sure to set the ECLIPSE_HOME environment variable to your Eclipse installation home directory"
       ))
 
-      val tempOut = Files.createTempDirectory(new File("tmp/").toPath, "classes").toFile
+      val tempOut = Files.createTempDirectory("classes").toFile
 
       settings.classpath.value   = scalaLib
       settings.usejavacp.value   = false