Fix error in using repository.py

This gave problems on my system: the path to the repo should not be treated as a list.