Fix to git version numbering