randy/ronnie?

The guy that plays Randy the Urchin side guy is credited but his "brother" Ronnie from the Sky side isn't there. Did the Randy guy play both parts or something, cuz it's not said?