minor typo: "receipt"