small fixed to make R CMD check happy