More minor updates to documentation.