Minor improvements to run(), an UI