Doc fixes as per Rick's proofreading.