KappaEventProviderBase.h: small change