docs; updates for 3.7