Various changes to documentation.