Why are printing a profiling summary here?