12.13.13 small stuff for CRAN