Bugfix to detector_stereo.launch - missing argument.