make CMD check --as-cran happy