fix accidental failure to bind krun options