Fix profiling documentation