Fix some issues in the String module