Trying to fix bip72