I'd definitely keep that amount if I won it through mining. It's really hard swapping `amount` to `fee`, in coding, so I bet that this was a human mistake on sending btc, not coding mistake...
I heard that the web interface on the exchange they used has fee and amount fields next to each other and with identical widgets (but different labels), so it's extremely easy to see how a human would make that mistake there.