Minor man page and vignette changes