ReceiptFreeness: various changes