fix version numbering