Stylistic tweaks to lib/grep.js.