A few more simplifications to the code in pylint-leo.py:run