fix version number (so that it can work in RStudio)