diff -r 03a2dc9e0624 -r 3d55ef732cd7 src/Pure/PIDE/protocol.scala
--- a/src/Pure/PIDE/protocol.scala	Sun Mar 04 16:02:14 2012 +0100
+++ b/src/Pure/PIDE/protocol.scala	Sun Mar 04 18:15:45 2012 +0100
@@ -164,7 +164,6 @@
       tree match {
         case XML.Elem(Markup(name, Position.Id_Range(id, raw_range)), body)
         if include_pos(name) && id == command.id =>
-          // FIXME handle message range outside command range (!??!)
           val range = command.decode(raw_range).restrict(command.range)
           body.foldLeft(if (range.is_singularity) set else set + range)(positions)
         case XML.Elem(Markup(name, _), body) => body.foldLeft(set)(positions)