bugfix in Inst_NETWORK_IO