[ros-diffs] 04/04: [SETUPLIB][USETUP] Minor improvements.