D'oh! Have you also told them?

It's also particularly silly calling it a paperless receipt though - given they're still handing out the paper ones! Or in my case this week they handed me someone else's - and I didn't notice until later. Oops.