fixing begs with kcc in adding smt=none

Forget this?