[ros-diffs] [navaraf] 16981: Make w3seek happy.