Fix pretty printing of namespaces