Fix small bug with namespaces