Fix pretty-print of nodes