Small tweaks to HashCash