add aDocName to NETLIST::Format()