DEV: not tested. Minor changes such that the run.def could be cleaned a bit. Overlooked another warning related to ticket #538 which has now been changed as well.