Wasn't the fine related to the original ERC tokens used for raising capital, for violating securities laws? Which were then exchanged for the EOS coins at a later date? Which is also why the EOS coin is not considered a security now.