src/Pure/PIDE/command.scala

       message match {
         case XML.Elem(Markup(Isabelle_Markup.STATUS, _), msgs) =>
           (this /: msgs)((state, msg) =>
             msg match {
               case elem @ XML.Elem(markup, Nil) =>
-                state.add_status(markup).add_markup(Text.Info(command.range, elem))  // FIXME proper_range??
+                state.add_status(markup).add_markup(Text.Info(command.proper_range, elem))
 
               case _ => System.err.println("Ignored status message: " + msg); state
             })
 
         case XML.Elem(Markup(Isabelle_Markup.REPORT, _), msgs) =>