getNumberOfGeneratedEvents.py: small output formatting change