Minor fix to EventLogging code