Fix a bug in the simple event processor