Fix a namespace problem with a new file.