event: fix precondition.