fix bug in version numbering scheme