Fix bad namespacing bug