more precise version number