Fixing version numbering