Some documentation changes and font encoding in the vignettes.