Corrections to events

Events must always delete their preconditions!