Remove final use of ~[]