fix String.substring