Fixed ReceiptVerifier