minor possible bugfix/clarification in Event::Wait() call