Minor changes to Runbot.py