Doc tweaks anew.