Minor document additions.