Minor work on documentation.