Hmm, that is one way of looking at it, but I've implemented the erasure the way it is now because I'd rather have those areas marked erased as really erased. Free space on your disk is a dynamic (i.e. changes with time) concept, it's hard to guarantee any sector being overwritten multiple times...