There is seldom need for praise, that's what makes the praise mean something. Some stranger took the time to thank a person for doing something. Huge high five, probably felt good for both of them. I don't think we should discourage positive human interaction.