Small adjustments to doc file.