$9000 bounty paid for Python bug