Fix pretty printing in KATnetic