More cleanup of the doc file.