Make sure $NETWORK_JSON is defined.