#2: fix syntax error of .rosinstall