small fix in event spec