CRAN-check fixes, documentation revision