Fixed a link to SplitProof which has been reanamed