Fix bug in generating new bot version number