Dec. 2, 2015, 7:25 p.m.
No, I don't think there is any mistake. As long as you see a trade on ledger, it means the credit has already been added to you (or else it won't appear on ledger, which is a problem easy to verify by comparing the ledger and other transaction history).
Ok thanks. I thought I had some missing / bugged credits on Dispenser. Thanks for clarifying this.