Hygiene release: documentation fixes.