Add missing repository to fix issue #2