Hi Daniel, >> ! non-intrusive profiler, eg oprofile. > > "non-intrusive profiler, e.g.@: oprofile." At least I think that's the > proper Texinfo. OK - I have added that change too and checked the revised text in. Cheers Nick