Well an honest miner that is, it was very clear that such transaction was definitely a mistake and should be returned, this is a common mistake that can be made by a newbie, paying more fees than the actual amount, glade to see the miners have take notice of the abnormal transaction, am sure the user will be overwhelmed with happiness.