This is very professional on the Umpire's part but he still missed the call so it doesn't help. Now you have a situation were he might give that pitcher a freebie on another play and the opposing team might not like it. You see so many Umpires make some ridiculous calls so to see this is a bit wholesome.