diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index cbdf4a6e25302b719c32208cb03badceb4d55f4a..557d95b8f137ebede14253578affbcbf975ac000 100644
--- a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
@@ -394,7 +394,11 @@ trait CodeExtraction extends ASTExtractors {
           case _   => (selectors, false)
         }
 
-        val theDef = searchRelative(thePath.mkString("."), current).headOption
+        val theDef = searchRelative(thePath.mkString("."), current).find {
+          case _: UnitDef => false
+          case m: LeonModuleDef => !m.isPackageObject
+          case _ => true
+        }
 
         (isWild, theDef) match {
           case (true,  Some(df)) => Some(WildcardImport(df))