[ros-diffs] [navaraf] 14239: Minor correction to my r14237 commit. Forgot to delete "++".