Small touches to documentation.