Minor corrections to get_repo