Fix pretty printing in katnetic