A few touchups to the documentation and comments.