Fixing a one-off error in getting the git revision number