Some docs touchups.