Output netsplits correctly