How a single copy-paste mistake cost a user $50M in USDt