Cosmetic edits to repository_lib.py.