Minor touchups to documentation.