[ros-diffs] [navaraf] 15835: Fix a cut & paste mistake.