Bugfix in RG.toString().