Index: doc/generic_types/evaluation/Makefile
===================================================================
--- doc/generic_types/evaluation/Makefile	(revision 0d1009093cfc499402ee89b89210b397039f5412)
+++ doc/generic_types/evaluation/Makefile	(revision d9dd3d121583a6c4147e684518cda0202a8df377)
@@ -61,5 +61,5 @@
 	@echo '## C ##'
 	@/usr/bin/time -f 'max_memory:\t%M kilobytes' ./c-bench
-	@printf 'source_size:\t%8d lines\n' `cat c-bench.c bench.h c-stack.h c-stack.c | wc -l`
+	@printf 'source_size:\t%8d lines\n' `cat c-bench.c bench.h c-stack.{h,c} c-pair.{h,c} c-print.{h,c} | wc -l`
 	@printf 'binary_size:\t%8d bytes\n' `stat -c %s c-bench`
 
@@ -82,5 +82,5 @@
 	@echo '## C++ virtual ##'
 	@/usr/bin/time -f 'max_memory:\t%M kilobytes' ./cpp-vbench
-	@printf 'source_size:\t%8d lines\n' `cat cpp-vbench.cpp bench.hpp object.hpp cpp-vstack.hpp cpp-vstack.cpp | wc -l`
+	@printf 'source_size:\t%8d lines\n' `cat cpp-vbench.cpp bench.hpp object.hpp cpp-vstack.{hpp,cpp} cpp-vprint.hpp | wc -l`
 	@printf 'binary_size:\t%8d bytes\n' `stat -c %s cpp-vbench`