Small improvements to profiler documentation