Vulnerability Fixed in Facebook Contract Language for Libra Cryptocurrency