Some minor updates to documentation.