fix error that was introduced by renaming a helper
Merge branch 'correcting412_download_of_ontologies_does_not_work' into develop
Merge branch 'develop' into develop.ontohub.org