Recently I was helping a more senior developer write up a training manual document for a niche part of an application that some other developers use but have troubles with getting their head around. The Senior Dev sent me over a draft of the document (it's very laid back sort of document, not very formal at all) and I added to it with my own thoughts/experience of the application. Afterwards, we had a 45-minute discussion of it and I expressed my thoughts about things we should highlight to other developers (pitfalls, most useful tricks etc) and he agreed with me.
So today I was forwarded an email by my manager where the senior developer was praising me quite profoundly for my input and help on the subject and several higher management tier people saw the email. I am very very grateful for the praise that he has given me and I was wondering, what is the most appropriate way to thank him for reporting on me in such a manner? I was thinking of just ringing him and saying "I saw the mail you sent and I just wanted to thank you personally for that I really appreciate it."
(or equivalent) but I'm not sure if that is professionally OK to do?
What's the normal approach for thanking a senior who has praised you to senior management?