Haha, yes that's a bug. The robots do rename themself, but the UI does not update. You can click on "disable following" and walk away from the bot until it is out of reach for the UI. Then walk back to the bot and it should display the correct name.
It's already fixed in the main branch of the repo and will be pushed as an update once the rating is over. The update will also make it possible to pet the bots :D