Minor updates to doc files.