Thank you Thierry for your feedback! My guess is that the transaction fees will be deducted from your original bonus as I don't think EOS will assume this...
Can you please report how much the claimall has costed you (Gas fees) and which date you did this? This will help have comparative results.
Cheers!!
RE: Read this before your claim your EOS tokens