Fixed up a man page generation typo in jnxvector.h