minor change after each call of free()