bugfix patch for SMACK