issue #107 (fix wrong krun backend help msg)