fix String.rest