Not a manager, but I find myself thanking people a lot for all kinds of minor things. I'm among the group that hates excessive inflationary praise. Saying thank you, and being thanked, doesn't trigger my bullshit sensor though and feels right even for small routine work.