Fixing bug in TripCountProfiler