bugfix in bip62