Fixing krun options.