Probably not for name explicitly set. That shouldn't matter because it should be illegal to have two targets with the same address but different values for that. But also maybe doesn't hurt to include it