supposedly make CRAN happy