minor cleanup in Runner.php