Fix a namespace error.