minor fix on runconfig.py