Fix a bug causing empty `summary` reports #1564

Job	Run time
Test in Alpine Linux	5m 12s
Lint and Docs	4m 11s
Check if generated files are up to date	46s
Test with coverage	5m 35s
Valgrind & Helgrind	6m 28s
	22m 12s

Provide feedback