A few documentation improvements, spurred on by Brett's review.