Improve doc files slightly.