Fix a namespace problem.