fix a bug in SafetyChecker