Small improvements, mostly to documentation.