Fix function description.
Check that all addresses in the freed range belong to the pool, not just the base of the range.