Fix ArVer usage in top level