Update jnxvector.h