few fixes in repomap.py