Minor tweaks, mostly comments.
.