jvmrec manual page fixes