more string BufferedStringRep tweaks