Fix a namespace issue