Fixed bug in dossiercover generation when repository version is not set.