Fixed a namespacing bug