src/Pure/PIDE/command.scala

       reported_position(props) match {
         case Some((id, name, reported_range)) if self_id(id) && name == chunk_name =>
           val opt_range =
             reported_range orElse {
               if (name == Symbol.Text_Chunk.Default)
-                Position.Range.unapply(span.absolute_position)
+                Position.Range.unapply(span.position)
               else None
             }
           opt_range match {
             case Some(symbol_range) =>
               chunk.incorporate(symbol_range) match {