diff --git a/src/funcheck/scalacheck/ForAllTransformer.scala b/src/funcheck/scalacheck/ForAllTransformer.scala
index 14582df77589d727dd256b898c7e2734d5659fb0..7e745e909005ec6727e915d948d00f4987d84e17 100644
--- a/src/funcheck/scalacheck/ForAllTransformer.scala
+++ b/src/funcheck/scalacheck/ForAllTransformer.scala
@@ -42,7 +42,7 @@ trait ForAllTransformer extends TypingTransformers
                   } 
                   else {
                     // create a fresh name for each parameter declared parametric type
-                    val freshNames = vtpes.map(i =>  fresh.newName("v"))
+                    val freshNames = vtpes.map(i =>  fresh.newName(v.pos,"v"))
                     
                     val funSym = tree.symbol
                     
diff --git a/src/funcheck/scalacheck/ScalaCheck.scala b/src/funcheck/scalacheck/ScalaCheck.scala
index 766a8ad0d0fea49f30358d8beda8af26d249e2b6..49d00d93bd3f2e10f5d907674d7da5832be730ed 100644
--- a/src/funcheck/scalacheck/ScalaCheck.scala
+++ b/src/funcheck/scalacheck/ScalaCheck.scala
@@ -278,7 +278,7 @@ trait ScalaCheck extends FreshNameCreator {
     private def createGenDefSyms(klasses: List[ClassDef], defs: List[DefDef]): List[(Symbol, Tree)] = {
     
       val genKlasses: List[(Symbol, ClassDef)] = for(klass <- klasses) yield {
-        val genName = fresh.newName("gen"+klass.name)
+        val genName = fresh.newName(klass.pos, "gen"+klass.name)
         val tpe = klass.symbol.tpe
         val genSym = createGenDefSymbol(klass.symbol.enclClass.owner, genName, tpe)
         
@@ -288,7 +288,7 @@ trait ScalaCheck extends FreshNameCreator {
       }
     
       val genDefs: List[(Symbol, DefDef)] = for(d <- defs) yield {
-        val genName = fresh.newName("gen"+d.name)
+        val genName = fresh.newName(d.pos, "gen"+d.name)
         val tpe = d.tpt.symbol.tpe
         val genSym = createGenDefSymbol(d.symbol.owner, genName, tpe)
         
@@ -342,7 +342,7 @@ trait ScalaCheck extends FreshNameCreator {
         var owner = extOwner
       
         val paramssTpe: List[ValDef] = vparamss.flatMap(v=>v).map(p => 
-          ValDef(Modifiers(0), fresh.newName("v"), resetAttrs(p.tpt.duplicate), EmptyTree))
+          ValDef(Modifiers(0), fresh.newName(p.pos, "v"), resetAttrs(p.tpt.duplicate), EmptyTree))
       
       
         var last = true
@@ -497,7 +497,7 @@ trait ScalaCheck extends FreshNameCreator {
       require(tpe2arbApp.get(tpeSym.tpe).isEmpty, "Arbitrary.arbitrary["+tpeSym.tpe+"] is already in the map")
       
       val owner = tpeSym.toplevelClass
-      val arbName = fresh.newName("arb"+tpeSym.name)
+      val arbName = fresh.newName(tpeSym.pos,"arb"+tpeSym.name)
       val tpe = tpeSym.tpe
       
       val arbDef = createArbitraryDefSymbol(owner, arbName, tpe)