Happened to me today, ATM took $1000 and gave me back only $920.
Got a receipt that said I had a technical error and listed a number to call1. When I call I got a temp credit of $80 (to cover my loss), and that they will look into it. I'm hoping it'll all go well.