A minor profiling bug fixed.