Edit docs as per Peter. E.'s review.