Some more docs adjustments