Doc fixes from G+ group email of 20 Nov