Minor docs tweakings.