Since it is a bug, I'd report it to: get an explanation and possibly refund of tokens. Depending on why it happened.