Minor tweaks to documentation and code.