Several other formatting fixes to string.js.