fix error in prevention of duplicate robot names; fixes Issue #40