I don't think he intended any irony. He should thank you just to be polite, though.