Fix typo in BIP32.txt.