Small fix in ReceiptTests