some cosmetic changes to repositories.txt