repeated version num (see above).