Minor revision of tools/change_net_index.cpp.