#3966 we will allow duplicate names so don't need this