little fix in adding an EventSet