Prevent accidental collision of event names

[toms-dev]

Everything will blow up if there's any collision on event names, which is quite a shame (and quite error-prone as a simple bad copy/paste can lead to this problem).