Ah I see. I'm not familiar with the difference between ```R CMD INSTALL``` and ```install.packages```, so if you think the extra check here is useless or redundant, feel free to ignore my suggestion.