Minor improvements

which I added while trying to run and debug `pulls.py`