comment the use of the profiler briefly. Small tweaks for clarity. Use the proper field to get DFA k number.