Reactivated robots, for #1732.