more documentation and fixed potential bug with EventQueues accepting duplicate event instances