small changes to make R check happy