better pretty printing - discard unused names