Fix a namespace issue.