String: fixed a minor bug