Fix a name conflict that broke compilation