[ros-diffs] [navaraf] 13436: Fix a typo.