Fix SMACK error.