I think I have a trash accounting problem

It should. However, there is a bug likely: