added some more debug output for profiling